An Introduction to PSFd

نویسندگان

  • Sjouke Mauw
  • Gert J. Veltink
چکیده

PSFd (Process Specification Formalism Draft) is a Formal Description Technique developed for specifying concurrent systems. PSFd supports the modular construction of specifications and parameterization of modules. As semantics for PSFd a combination of initial algebra semantics and operational semantics for concurrent processes is used. This report is intended to give a brief introduction to the use of PSF d. Note: This work was sponsored in part by ESPRIT contract hr. 432, Meteor.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Analysis of ECG signal by chaos principle to help automatic diagnosis of myocardial infarction

Introduction Cardiovascular disease is a major cause of premature dying. If any patient is diagnosed at early stage of cardiovascular disease [(myocardial infarction (MI)], it may be possible to reverse disease process. Functional behavior of heart is represented by electrocardiogram (ECG), signals of which are quasiperiodic (Fig. 1). Various transform techniques (Fourier, wavelet etc.) are ine...

متن کامل

Coresidence With Elderly Parents: A Comparative Study of Southeast China and Taiwan.

Using recent survey data from the Panel Study of Family Dynamics (PSFD) on 1,655 married persons born in 1964-1976 in southeastern China and Taiwan, we studied coresidence with elderly parents using a multinomial probit model for coresidence type and an ordered probit model for residential distance. The study yielded four findings: (a) Patrilocal coresidence was more prevalent in Taiwan than in...

متن کامل

A high-accuracy pseudospectral full-vectorial leaky optical waveguide mode solver with carefully implemented UPML absorbing boundary conditions.

The previously developed full-vectorial optical waveguide eigenmode solvers using pseudospectral frequency-domain (PSFD) formulations for optical waveguides with arbitrary step-index profile is further implemented with the uniaxial perfectly matched layer (UPML) absorption boundary conditions for treating leaky waveguides and calculating their complex modal effective indices. The role of the UP...

متن کامل

AN INTRODUCTION TO THE THEORY OF DIFFERENTIABLE STRUCTURES ON INFINITE INTEGRAL DOMAINS

A special class of differentiable functions on an infinite integral domain which is not a field is introduced. Some facts about these functions are established and the special case of z is studied in more detail

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1989